Handbook of Modal Logic
Patrick Blackburn
，
Johan van Benthem
，
Frank Wolter
，その他
様相論理
のハンドブック